package gui;

// Diva imports
import ptolemy.kernel.util.IllegalActionException;
import ptolemy.kernel.util.NameDuplicationException;
import ptolemy.kernel.util.NamedObj;
import ptolemy.vergil.basic.NamedObjController;
import ptolemy.vergil.basic.NodeControllerFactory;
import diva.graph.GraphController;

// Java imports

//////////////////////////////////////////////////////////////////////////
//// VerifierControllerFactory
/**
   Xupado do ptolemy.chic

*/
public class VerifierControllerFactory extends NodeControllerFactory {

    public VerifierControllerFactory(NamedObj container, String name)
            throws NameDuplicationException, IllegalActionException {
        super(container, name);
    }

    ///////////////////////////////////////////////////////////////////
    ////                         public methods                    ////

    public NamedObjController create(GraphController controller) {
        return new VerifierController(controller);
    }
}
